monotonic logic

单调逻辑